1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | mtc-m21c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34R/3TART8E |
Repositório | sid.inpe.br/mtc-m21c/2019/05.17.13.50 (acesso restrito) |
Última Atualização | 2019:05.17.13.50.48 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/05.17.13.50.48 |
Última Atualização dos Metadados | 2020:01.06.11.42.14 (UTC) administrator |
DOI | 10.1504/IJCAT.2019.099198 |
ISSN | 0952-8091 |
Chave de Citação | SantosSanPovFreMar:2019:CoFoMe |
Título | Software inspections: Comparing a formal method based with a classical reading methodology |
Ano | 2019 |
Data de Acesso | 12 maio 2024 |
Tipo de Trabalho | journal article |
Tipo Secundário | PRE PI |
Número de Arquivos | 1 |
Tamanho | 1073 KiB |
|
2. Contextualização | |
Autor | 1 Santos, Luciana Brasil Rebelo dos 2 Santiago Júnior, Valdivino Alexandre 3 Povoa, Lucas Venezian 4 Freitas, Albino Vieira 5 Mario, Cleyton de Castro |
Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Afiliação | 1 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo 4 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo 5 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo |
Endereço de e-Mail do Autor | 1 lurebelo@ifsp.edu.br 2 valdivino.santiago@inpe.br |
Revista | International Journal of Computer Applications in Technology |
Volume | 59 |
Número | 4 |
Páginas | 296-317 |
Nota Secundária | B2_INTERDISCIPLINAR B2_ENGENHARIAS_III B3_ENGENHARIAS_IV B3_CIÊNCIA_DA_COMPUTAÇÃO B4_ENGENHARIAS_II |
Histórico (UTC) | 2019-05-17 13:51:26 :: simone -> administrator :: 2019 2019-07-02 19:02:03 :: administrator -> simone :: 2019 2019-12-06 19:20:06 :: simone -> administrator :: 2019 2020-01-06 11:42:14 :: administrator -> simone :: 2019 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | software inspection SOLIMVA 3.0 formal methods object-oriented reading techniques quasi-experiment |
Resumo | In this paper, we present a rigorous comparison of two inspection techniques: our formal method-based approach, SOLIMVA 3.0, with a set of Object-Oriented Reading Techniques (OORTs). We evaluated efficiency (required time to analyse a scenario) and effectiveness (ability to find defects within UML diagrams). Results show that the classical OORT methodology is more efficient than SOLIMVA. However, we found a strong positive correlation between the required time by using OORT and SOLIMVA. For effectiveness, in general, both methodologies presented the same performance. However, SOLIMVA detected more inconsistency (incorrectness and extra information), ambiguity, and partial incompleteness defects while OORT identified more total incompleteness. Our overall conclusion is that a classical reading methodology (OORT) and a formal-based one (SOLIMVA) can be adopted in a complementary way within a software inspection process. While OORT is less costly to apply, SOLIMVA can be used to address some specific types of defects. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Software inspections: Comparing... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | 10.1504@IJCAT.2019.099198.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/09.22.23.14 2 |
Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 |
|
6. Notas | |
Campos Vazios | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress format isbn label lineage mark mirrorrepository month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|